<?php
$inc_core = realpath(dirname(__FILE__) . '/../inc/inc_core.inc');
require_once $inc_core;
use teia\webdev\php\core as teia;

if (teia\SessionWrapper::logout_user()) {
	// log-out successful
	echo "<p id='on_logout_txt'>" . ON_LOGOUT_TXT . "</p>\n";
} else {
	// no log-out happened, redirect to log-in page
	teia\FunctionPool::goto_url('login.php');
}
?>